Abstract type

Results: 1261



#Item
561Computer file formats / MIDI / Variable-length quantity / File format / Uniform resource identifier / Resource fork / Computer file / Computing / Music notation file formats / XMF

MMA Technical Standards Board/ AMEI MIDI Committee Recommend Practice (RP-039) XMF Meta File Format Updates 1.01 Abstract: These 9 Updates to XMF Meta File Format (RP-030) and Type 0 and Type 1 XMF Files (RP031) are for

Add to Reading List

Source URL: www.midi.org

Language: English - Date: 2011-06-10 17:13:57
562Software engineering / Queue / Pointer / Circular buffer / Stack / FIFO / Linked list / Sequence container / Data type / Abstract data types / Computing / Computer programming

ROBUST PROGRAMMING ECS 153 — WINTER 2003 Robust Programming Matt Bishop1

Add to Reading List

Source URL: nob.cs.ucdavis.edu

Language: English - Date: 2013-03-12 20:42:03
563Medical physics / Boron / Radiobiology / Boron neutron capture therapy / Neurosurgery / Proton therapy / Data type / Doctor / Medicine / Chemistry / Radiation oncology

Send to: Congress Secretariat ([removed]) Submission Deadline: Tuesday, March 31 17:00(JST) Abstract Submission Form(LATE-BREAKING)

Add to Reading List

Source URL: www.congre.co.jp

Language: English - Date: 2015-02-03 00:10:12
564Inorganic solvents / Oxides / Liquids / Laboratory glassware / Propylene glycol / Antibubble / Pipette / Distillation / Polyethylene terephthalate / Chemistry / Matter / Household chemicals

Antibubbles: An Easy Effective Way to Make a More Stable Antibubble Jasmine Gray ABSTRACT Antibubbles, a type of bubble that is surrounded by air and contains water have a short life span and are difficult to form. Altho

Add to Reading List

Source URL: www.antibubble.org

Language: English - Date: 2013-04-11 08:30:18
5653D computer graphics / Vector graphics markup languages / Graphics file formats / ISO standards / VRML / Mark Pesce / Internet media type / Modeling language / Computer Graphics Metafile / Computer graphics / Computing / Virtual reality

Graphics on the WWW Dr. Anne Mumford Abstract This State of the Art Report addresses graphics on the World Wide Web. The WWW is now a major vehicle for the transfer of graphical data. In order to be successful we need to

Add to Reading List

Source URL: www.agocg.ac.uk

Language: English - Date: 1999-02-24 08:55:32
566Commutative algebra / Homological algebra / Lemmas / Ring theory / Snake lemma / Étale morphism / Ring / Polynomial ring / Commutative diagram / Abstract algebra / Algebra / Mathematics

RESTRICTED POWER SERIES Contents 1. Introduction 2. Restricted power series 3. Algebras topologically of finite type

Add to Reading List

Source URL: stacks.math.columbia.edu

Language: English - Date: 2015-04-15 15:09:23
567Typeface / DIN / Font / Type foundries / Kabel / International Typeface Corporation / Typography / Typesetting / Graphic design

University of Georgia Press collection 1934–1999 (bulk dates 1967–1990) Abstract: This collection of items from University of Georgia Press, the oldest and largest publication house in the state,

Add to Reading List

Source URL: www.lib.udel.edu

Language: English - Date: 2009-11-18 16:31:52
568Dependently typed programming / Type theory / Models of computation / Height / Infinite group theory / Generalized algebraic data type / Lambda calculus / Normalisation by evaluation / Theoretical computer science / Software engineering / Mathematics

A Simple and General Theoretical Account for Abstract Types? Hongwei Xi Boston University Abstract. A common approach to hiding implementation details is

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2009-06-27 22:37:34
569Linux kernel / RSBAC / Linux Security Modules / Access control / Mandatory access control / FLASK / Type enforcement / Grsecurity / PaX / Computer security / System software / Software

RSBAC - a framework for enhanced Linux system security Marek Jawurek∗ RWTH-Aachen Abstract Operating systems traditionally bring their own means of protection against any kind of threats. But often the system’s secur

Add to Reading List

Source URL: www.rsbac.org

Language: English - Date: 2006-05-02 09:37:02
570Lie algebras / Lie groups / Linear algebra / Euclidean geometry / Root system / Quantum group / Vector space / Weyl group / Representation theory / Algebra / Abstract algebra / Mathematics

REPRESENTATIONS OF KHOVANOV-LAUDA-ROUQUIER ALGEBRAS III: SYMMETRIC AFFINE TYPE PETER J MCNAMARA Abstract. We develop the homological theory of KLR algebras of symmetric affine type. For each PBW basis, a family of standa

Add to Reading List

Source URL: www.maths.usyd.edu.au

Language: English - Date: 2015-01-01 21:57:41
UPDATE